First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
821	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:03 Nested word Words Temporal logic Nesting Stack Mathematical logic Model checking Scope FO Theoretical computer science Automata theory Software engineering
822	Lots of Types of “Semantics” ! ! ! ! Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2013-11-17 21:01:22 Mathematics Quantification Predicate logic Model theory Lambda calculus First-order logic Generalized quantifier Predicate Interpretation Logic Semantics Mathematical logic
823	Proof Reconstruction for Z3 in Isabelle/HOL Sascha B¨ohme Technische Universit¨at M¨ unchen [removed] Abstract Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2009-07-06 02:18:43 Proof theory Logic in computer science Automated theorem proving Formal methods Natural deduction Mathematical proof First-order logic Satisfiability Modulo Theories Propositional calculus Logic Mathematical logic Mathematics
824	Formalising a legal opinion on a legislative proposal in the ASPIC+ framework Henry Prakken Department of Information and Computing Sciences, University of Utrecht and Faculty of Law, University of Groningen, The Netherl Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2012-10-08 05:22:56 Critical thinking Reasoning Logical consequence Inference Counterargument Deductive reasoning First-order logic Logic Science Arguments
825	Formalising arguments about norms Henry PRAKKEN a and Giovanni SARTOR b University and University of Groningen, The Netherlands b Cirfid - University of Bologna and European University Institute of Florence, Italy a Utre Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2013-10-11 03:51:54 Arguments Critical thinking Philosophy of law Norm First-order logic Validity Inference Pure Theory of Law Jurisprudence Logic Philosophy Science
826	Resolutions in Structured Argumentation Sanjay Modgil a Henry Prakken b Department of Informatics, King’s College London, UK b Department of Information and Computing Sciences, University of Utrecht and Faculty of Law, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2012-06-08 02:47:15 Arguments Logical consequence Philosophical logic Argumentation theory Argument Entailment First-order logic Function Preference Logic Mathematics Critical thinking
827	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2012-03-31 11:45:06 Predicate logic Model theory Semantics Philosophical logic Second-order logic First-order logic Monad Structure Free variables and bound variables Logic Mathematics Mathematical logic
828	UNIVERSITY OF CALIFORNIA Los Angeles On the Correctness of Transactional Memory Algorithms A dissertation submitted in partial satisfaction of the Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2014-08-06 16:13:04 Formal sciences Inference Mathematical logic Correctness Algorithm First-order logic Soundness Rule of inference Logic Theoretical computer science Model theory
829	Logic-free reasoning in Isabelle/Isar Stefan Berghofer and Makarius Wenzel? Technische Universit¨ at M¨ unchen Institut f¨ Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-03-14 15:14:26 Proof theory Predicate logic Mathematical proofs Philosophical logic Natural deduction First-order logic Quantification Logical framework Lambda calculus Logic Mathematics Mathematical logic
830	TECHN ICA L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2013-04-17 10:05:08 Model theory Logic programming Boolean algebra Propositional calculus Stable model semantics Interpretation First-order logic If and only if Negation as failure Logic Mathematical logic Mathematics

UPDATE